# Active SVF file /net/redfox.ece.Virginia.EDU/isan0/users/ms3xy/Desktop/synopsys/syn_tut/formality_Project/pre_lay/source/default.svf
#-----------------------------------------------------------------------------
# This file is automatically generated by Design Compiler
# Filename  : /remote/SCRATCH_fs01/ANI_AL/ICC/H_Ani/project/DFT/work/default.svf
# Timestamp : Thu Jul 15 11:01:14 2010
# DC Version: C-2009.06 (built May 21, 2009)
#-----------------------------------------------------------------------------

guide


guide_environment \
  { { bus_dimension_separator_style ][ } \
    { bus_extraction_style %s\[%d:%d\] } \
    { bus_naming_style %s[%d] } \
    { bus_range_separator_style : } \
    { hdlin_generate_naming_style %s_%d } \
    { hdlin_generate_separator_style _ } \
    { hdlin_sv_packages enable } \
    { hdlin_while_loop_iterations 1024 } \
    { template_naming_style %s_%p } \
    { template_parameter_style %s%d } \
    { template_separator_style _ } \
    { target_library ../ref/models/saed90nm_typ_ht.db } \
    { synopsys_root /remote/apps/synopsys/syn/C-2009.06 } } 

guide_scan_input \
  -design { Johnson_count } \
  -disable_value { 0 } \
  -ports { SE } 

guide_environment \
  { { hdlin_infer_enumerated_types FALSE } \
    { hdlin_optimize_enum_types FALSE } \
    { hdlin_allow_4state_parameters FALSE } } 

#---- Recording stopped at Thu Jul 15 11:03:44 2010

setup
